1. Categorical methods in computer science : with aspects from topology
پدیدآورنده : H. Ehrig...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Topology
رده :
QA
76
.
L28
Vol
.
393
2. Categorical methods in computer science : with aspects from topology
پدیدآورنده : H. Ehrig ... )et al.(, eds
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Computer science - Congresses,Categories )Mathematics( - Congresses,Topology - Congresses
رده :
QA
75
.
5C36
1989
3. Categorical methods in computer science: with aspects from topology
پدیدآورنده : H. Ehrig ... ]et al.[, eds
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer science- Congresses,، Categories )Mathematics(- Congresses,، Topology- Congresses
رده :
QA
75
.
5
.
C36
1989
4. Fundamentals of algebraic graph transformation
پدیدآورنده : H. Ehrig ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Graph grammars,، Graph theory,، Morphisms )Mathematics(,، Categories )Mathematics(
رده :
QA
267
.
3
.
F86
2006
5. Fundamentals of algebraic graph transformation
پدیدآورنده : H. Ehrig....]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Graph grammars,، Graph theory,، Morphisms )Mathematics(,، Categories )Mathematics(
رده :
QA
267
.
3
.
F86
6. Graph-grammars and their application to computer science :
پدیدآورنده : H. Ehrig ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing-- Congresses.,Graph grammars-- Congresses.
رده :
QA267
.
3
.
G68
1987
7. Graph-grammars and their application to computer science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986: Proceedings
پدیدآورنده : H. Ehrig...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Graph grammars,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
291
8. Handbook of graph grammars and computing by graph transformation
پدیدآورنده : edited by H. Ehrig...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Graph grammars,Data processing ، Graph theory
رده :
QA
267
.
3
.
H364
1999
9. Recent trends in data type specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings 1990
پدیدآورنده : H. Ehrig ... ]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
534
